epistemic logic
[ˌepiˈsti:mik ˈlɔdʒik]
[计]认知逻辑（电路）
[计]认知逻辑（电路）
热门查询
- dwarfed vi. 变矮小 n. 侏儒，矮子 vt. 使矮小 adj. 矮小的
- unalterable adj. 不能改变的；坚定不移的
- Cowan [人名] [苏格兰人姓氏] 考恩低地姓氏，语源不详; [人名] [苏格兰人姓氏] 考恩高地姓氏，来源于盖尔语; [地名] [加拿大、美国] 考恩
- gunwale n. 舷缘；船舷上缘
- full-size adj. 全尺寸的；动物完全长大的；全身的；与原物一样大小的
- Horatian adj. 罗马诗人贺瑞斯的
- statesman n. 政治家；国务活动家
- toke n. 食物；一口烟；赌场小费 n. (Toke)人名；(缅)铎；(乍)托克 vt. 吸一口；把小费给… vi. 吸烟；给小费
- hanging n. 悬挂；绞刑；帘子，幔帐 v. 悬挂（hang的ing形式） adj. 悬挂着的
- plaint n. 感叹；诉苦；悲叹
- orgasm n. [生理] 性高潮；极度兴奋
- Cleo abbr. clear language for expressing orders 用于表达命令的清晰语言
- beefeater n. 吃牛肉者；伦敦塔的守卫
- Hebrides 赫布里底群岛[英国苏格兰西部]( 被小明奇海峡分为内赫布里底群岛)
- conciliator n. 抚慰者；调解人
- recite vt. 背诵；叙述；列举 vi. 背诵；叙述
- ARP n. (Arp)人名；(法、德、瑞典)阿尔普 abbr. 地址解析协议（Address Resolution Protocol）；分析性复核（Analytical Review Procedure）
- drooping adj. 下垂的；无力的 v. 下垂；弯曲；发蔫（droop的现在分词）
- juxtapose vt. 并列；并置
- Merlyn [人名] 默林
